More from this Author
Found 13 books by Zhiming Liu (Editor)
Engineering Trustworthy Software Systems
by Jonathan P. Bowen (Editor), Zhiming Liu (Editor), Zili Zhang (Editor)
Engineering Trustworthy Software Systems
by Zhiming Liu (Editor), Zili Zhang (Editor)
Formal Aspects of Component Software
by Jose Luiz Fiadeiro (Editor), Zhiming Liu (Editor), Jinyun Xue (Editor)
Mechanical and Electronics Engineering VI
by Zhiming Liu (Editor)
Theoretical Aspects of Computing -- Ictac 2013
by Zhiming Liu (Editor), Jim Woodcock (Editor), Huibiao Zhu (Editor)
Engineering Trustworthy Software Systems
by Jonathan P. Bowen (Editor), Zhiming Liu (Editor), Zili Zhang (Editor)
Theoretical Aspects of Computing -- ICTAC 2013
by Zhiming Liu (Editor), Jim Woodcock (Editor), Huibiao Zhu (Editor)
Formal Aspects of Component Software
by José Luiz Fiadeiro (Editor), Zhiming Liu (Editor), Jinyun Xue (Editor)
Theoretical Aspects of Computing -- ICTAC 2013
by Zhiming Liu (Editor), Jim Woodcock (Editor), Huibiao Zhu (Editor)
Theories of Programming and Formal Methods
by Zhiming Liu (Editor), Jim Woodcock (Editor), Huibiao Zhu (Editor)
Dependable Software Engineering: Theories, Tools, and Applications
by Xuandong Li (Editor), Zhiming Liu (Editor), Wang Yi (Editor)
Unifying Theories of Programming and Formal Engineering Methods
by Zhiming Liu (Editor), Jim Woodcock (Editor), Huibiao Zhu (Editor), Zhiming Liu (Editor), Jim Woodcock (Editor), Huibiao Zhu (Editor)
Engineering Trustworthy Software Systems
by Zhiming Liu (Editor), Zili Zhang (Editor)